nested quantifiers discrete mathematics

welcome to shbcf.ru